Verification and Validation Methodology for Safety Critical Embedded Systems
نویسندگان
چکیده
منابع مشابه
Semantic Techniques for Verification and Validation of Safety Critical Embedded Systems in Industrial Applications
First and foremost, I must thank my research supervisor Prof. Nicola Mazzocca. Without his support and expertise this thesis may never have been completed. Thank you very much for your encouragement and understanding over these past four years. I must thank also Ansaldo STS and Intecs companies, for offering me the international experience at Ansaldo STS USA in Pittsburgh and for the exciting p...
متن کاملPartitioning methodology validation for embedded systems design
As modern embedded systems are becoming more sophisticated the demands on their applications significantly increase. A current trend is to utilize the advances of heterogeneous platforms (i.e. platform consisting of different computational units (e.g. CPU, FPGA or GPU)) where different parts of the application can be distributed among the different computational units as software and hardware i...
متن کاملAn Interactive Validation Methodology for Embedded Systems
The design of embedded (reactive and real-time) systems has become increasingly di cult due to increasing design complexity and shortening time to market. This also worsens the design validation of the system. One remedy is to move to higher levels of abstraction for validation and to trickle down the validation results at higher levels to lower levels of abstraction in the design cycle. In thi...
متن کاملSafety-critical Java for embedded systems
StringBuilder 447 / 237 2 / 6 52 (50) / 29 (26) 2 / 2 StringBuilder 189 / 119 1 / 1 38 (35) / 19 (18) 4 / 4 DataInputStream 212 / 108 4 / 5 18 (18) / 17 (17) 1 / 1 DataInputStream$ReadUtfHelper – / 77 – / 2 – / 1 – / 1 DataInputStream$1 – / 6 – / 0 – / 1 – / 0 Vector 322 / 228 4 / 7 48 (45) / 36 (35) 4 / 2 Vector$1 14 / 14 1 / 1 2 / 2 0 / 0 Vector$Itr 33 / 33 3 / 3 4 / 4 0 / 0 Vector$ListItr 43...
متن کاملBus Architectures for Safety-Critical Embedded Systems
Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mechanisms and services that provide protection against fault propagation and ease the construction of distributed fault-tolerant applications. A number of bus architectures have been developed to satisfy this need. This paper reviews...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence
سال: 2012
ISSN: 1994-5450
DOI: 10.3923/jai.2012.214.220